The aim of this paper is to describe the structure of finitely generated subgroups of a family of branch groups containing the first Grigorchuk group and the Gupta–Sidki -group. We then use this to show that all the groups in this family are subgroup separable (LERF).
These results are obtained as a corollary of a more general structural statement on subdirect products of just infinite groups.